برخی خواص منطق های زیرساختی

پایان نامه
چکیده

در این پایان نامه تلاش بر این است که انواع مختلف درونیابی را برای منطق های زیرساختی بررسی شود و با استفاده از ویژگی ادغام و گسترش های آن تعبیر جبری برای این درونیابی ها ارائه شود. به صورت کلی، منطق های زیرساختی جبری پذیر هستند ولی برخی از ویژگی های منطقی که منطق وجهی و منطق فراشهودی دارا هستند را ندارند. در این زمینه بررسی دقیقی نیاز است تا نوع رابطه ای که بین ویژگی های منطقی و جبری برقرار است مشخص شود. پس برای روشن کردن دقیق این موضوع از انواع درونیابی و ویژگی های جبری مرتبط به آنها استفاده می کنیم. به دلیل عمومیت مطالبی که در اینجا مطرح می شود، نتایج مطرح شده نه تنها برای منطق های زیرساختی بلکه قابل گسترش برای موضوعات عمومی تر مانند منطق جبری مجرد نیز است.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

واژگان مشترک منطق قدیم و منطق جدید و برخی از تعریف های تاریخی مفاهیم منطقی

هر حوزه از دانش بشری، واژگانی دارد که در طول تاریخ پیدایش و تحول آن، به وجود آمده اند و بدون آشنایی با آن واژگان، فهم موضوع آن حوزه از دانش، ناممکن است. در این مقاله، نخست به اختصار به معرفی علم منطق از دورۀ باستان تاکنون می پردازیم و سپس به واژگان مشترک منطق قدیم و جدید و تعریف های تاریخی بعضی از اصطلاحات منطقی اشاره می کنیم. برای این منظور، اصطلاحاتی را از آثار مهم منطقی چند دانشمند برجستۀ اع...

متن کامل

سنجش فضایی ظرفیت تاب‌آوری زیرساختی جامعه روستایی شهرستان بجنورد با مدل FAHP و منطق فازی در محیط GIS

هدف اصلی از تدوین پژوهش حاضر ارزیابی رابطه بین آسیب‌پذیری محیطی و تاب‌آوری زیرساختی جوامع روستایی (در شهرستان بجنورد) به‌منظور ارتقاء ظرفیت تاب‌آوری در نواحی روستایی است. روش پژوهش توصیفی-تحلیلی و ماهیت آن کاربردی در نظام برنامه‌ریزی محلی و توسعه روستایی است. متغیرهای تحقیق پس از بررسی مبانی نظری و ادبیات حوزه سنجش آسیب‌پذیری و تاب‌آوری در ایران و سایر کشورها انتخاب گردیده است. بر این اساس، دو ...

متن کامل

آموزش کارآفرینی در هزاره جدید؛ زیرساختی برای اشتغال آموزش کارآفرینی در هزاره جدید؛ زیرساختی برای اشتغال

هدف از مطالعه حاضر بررسی نقش آموزش کارآفرینی بر اشتغال دانش‌آموختگان آموزش عالی ایران در دنیای در حال تغییر است. نمونه پژوهش 46 نفر از متخصصان کارآفرینی بوده‌اند که با استفاده از روش دلفی مورد مطالعه قرار گرفتند. داده‌ها پس از گردآوری با استفاده از آزمونهای مجذور آزادی کای و همبستگی کندال تحلیل شدند. بررسی نتایج نهایی نشان داد که اغلب متخصصان معتقد بودند که در گستره جهانی شدن، آموزش سبک تفکر ...

متن کامل

برخی خواص مکانیکی سیر

چکیده      به منظور تعیین برخی خواص مکانیکی پیازسیر و سیرچه­ی سیر رقم محلی تالش، در سه دوره زمانی انبارداری با فواصل زمانی 70 روزه آزمون  فشاری انجام شد. آزمون فشاری روی پیاز کامل سیر، سیرچه­ها و نمونه­های استوانه­ای تهیه شده از بافت سیر در سه سرعت بارگذاری 10، 60 و 110 میلی­متر در دقیقه انجام شد. در این آزمون­ها مقدار میانگین بیشینه نیروی لازم برای گسیختگی سیرچه، بیشینه نیروی لازم سست کردن پیا...

متن کامل

وضعیت‌یابی مؤلفه‌های زیرساختی پیاده‌سازی اشتراک دانش در صنعت بیمه‌

هدف: هدف این پژوهش شناسایی مؤلفه‌های مورد نیاز پیاده‌سازی اشتراک دانش و بررسی وضعیت آنها در صنعت بیمۀ ایران است. روش‌شناسی: روش پژوهش پیمایشی - توصیفی و ابزار گردآوری داده‌ها، پرسشنامه است. جامعۀ پژوهش مدیران عالی دفاتر مرکزی شرکت‌های بیمۀ فعال در بازار بیمه‌ای ایران در شهر تهران است. یافته‌ها: در این پژوهش پس از بررسی ادبیات مرتبط، مجموع متغیرهای کلیدی تأثیرگذار در پیاده‌سازی اشتراک دانش شنا...

متن کامل

بررسی عوامل زیرساختی مدیریت دانش در دولت جمهوری اسلامی ایران

  The current research aimed in survey of Knowledge Management (KM) infrastructures in the government of Islamic Republic of Iran including 21 ministries and Management and Planning Organization (MPO). Data gathered by questionnaire completed by managers in aforementioned organizations. Results showed:   The average of scores gained by organizations is below the OECD standard.   There is no sig...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023